﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using RWLibrary.Logic.BooleanExpression;

namespace RWLibrary.Logic.Statements
{
    public class ConstraintStatement : Statement
    {       
        public ConstraintStatement(IBooleanExpression alpha)
        {
            Alpha = alpha;
        }
        public IBooleanExpression Alpha { get; protected set; }


    }
}
